Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
141	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science
142	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
143	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
144	A Machine Learning Framework for Programming by Example Aditya Krishna Menon University of California, San Diego, 9500 Gilman Drive, La Jolla CAAKMENON @ UCSD . EDU Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-01-12 13:36:37 Function Machine learning Computability theory Mathematics Functions and mappings Mathematical logic
145	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
146	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
147	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
148	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
149	UK GLASSFrom 6 April till 14 September 2014, the glass museum GLAZENHUIS in Lommel presents an exhibition on contemporary artistic glass from the United Kingdom. The GlazenHuis organizes two t Add to Reading List Source URL: www.michaelpetry.net Language: English - Date: 2014-11-25 09:57:42 Theory of computation British people Mathematical logic Physical cosmology Alan Turing Algorithm Multiverse Entscheidungsproblem Digital physics Mathematics Computability theory Theoretical computer science
150	f-calculi and the theory of fexprs John N. Shutt WPI October 2007 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2007-10-17 10:31:46 Type theory Computability theory Lambda calculus Fexpr Calculus Typed lambda calculus Type constructor Theoretical computer science Mathematical logic Applied mathematics

UPDATE